Autogenerated HTML docs for v1.7.12-395-g6b149
diff --git a/technical/api-argv-array.html b/technical/api-argv-array.html index 2012c67..10c273b 100644 --- a/technical/api-argv-array.html +++ b/technical/api-argv-array.html
@@ -627,6 +627,15 @@ </p> </dd> <dt class="hdlist1"> +<tt>argv_array_pop</tt> +</dt> +<dd> +<p> + Remove the final element from the array. If there are no + elements in the array, do nothing. +</p> +</dd> +<dt class="hdlist1"> <tt>argv_array_clear</tt> </dt> <dd> @@ -641,7 +650,7 @@ <div id="footnotes"><hr /></div> <div id="footer"> <div id="footer-text"> -Last updated 2012-04-29 18:10:00 PDT +Last updated 2012-09-12 15:56:23 PDT </div> </div> </body>
